def raise: Unit => A